int f() {
  while (1) { 
    while (2) ;
    break;
  }
}